大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Intelligent Computer Mathematics [electronic resource] : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

0
索取号：
作者：Autexier、 Serge.、Calmet、 Jacques.、Delahaye、 David.、Ion、 Patrick D. F.、Rideau、 Laurence.、Rioboo、 Renaud.、Sexton、 Alan P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods [electronic resource] : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28鈥揓uly 2, 2010. Proceedings, Part I

0
索取号：
作者：H眉llermeier、 Eyke.、Kruse、 Rudolf.、Hoffmann、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mono- and Multivariable Control and Estimation [electronic resource] : Linear, Quadratic and LMI Methods

0
索取号：
作者：Ostertag、 Eric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Algorithm Theory - SWAT 2010 [electronic resource] : 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings

0
索取号：
作者：Kaplan、 Haim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

0
索取号：
作者：Aldini、 Alessandro.、Bernardo、 Marco.、Pierro、 Alessandra.、Wiklicky、 Herbert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Architecting Critical Systems [electronic resource] : First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings

0
索取号：
作者：Giese、 Holger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Smart Graphics [electronic resource] : 10th International Symposium on Smart Graphics, Banff, Canada, June 24-26, 2010 Proceedings

0
索取号：
作者：Taylor、 Robyn.、Boulanger、 Pierre.、Kr眉ger、 Antonio.、Olivier、 Patrick.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part II

0
索取号：
作者：J臋drzejowicz、 Piotr.、Nguyen、 Ngoc Thanh.、Howlet、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

LDA Application Methods [electronic resource] : Laser Doppler Anemometry for Fluid Dynamics

0
索取号：
作者：Zhang、 Zhengji.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Combinatorial Pattern Matching [electronic resource] : 21st Annual Symposium, CPM 2010, New York, NY, USA, June 21-23, 2010. Proceedings

0
索取号：
作者：Amir、 Amihood.、Parida、 Laxmi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I

0
索取号：
作者：J臋drzejowicz、 Piotr.、Nguyen、 Ngoc Thanh.、Howlet、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Coordination Models and Languages [electronic resource] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

0
索取号：
作者：Clarke、 Dave.、Agha、 Gul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Languages and Compilers for Parallel Computing [electronic resource] : 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers

0
索取号：
作者：Gao、 Guang R.、Pollock、 Lori L.、Cavazos、 John.、Li、 Xiaoming.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Linguistic Fuzzy Logic Methods in Social Sciences [electronic resource]

0
索取号：
作者：Arfi、 Badredine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Languages, Methodologies, and Development Tools for Multi-Agent Systems [electronic resource] : Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers

0
索取号：
作者：Dastani、 Mehdi.、El Fallah Segrouchni、 Amal.、Leite、 Jo茫o.、Torroni、 Paolo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Neural Networks - ISNN 2010 [electronic resource] : 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part II

0
索取号：
作者：Zhang、 Liqing.、Lu、 Bao-Liang.、Kwok、 James.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.